Weighted Random Sampling over Data Streams arXiv:1012.0256v1 [cs.DS] 1 Dec 2010 Pavlos S. Efraimidis Department of Electrical and Computer Engineering,

Source URL: arxiv.org

• Monte Carlo methods
• Permutations
• Randomness
• Sampling
• Survey methodology
• Simple random sample
• Randomized algorithm
• Algorithm
• Fisher–Yates shuffle
• Mathematics
• Applied mathematics
• Statistics

Using an SVG simulation tool to design an urban stormwater harvesting system for the City of Salisbury Thomas, P.1 , P.G. Howlett, J. Boland and J. Piantadosi 1 Centre for Industrial and Applied Mathematics, University

Source URL: www.mssanz.org.au

• Dam
• Reservoir
• Stormwater
• Environment
• Hydraulic engineering
• Hydraulic structures
• Civil engineering

Quality Assurance & Support Measures for Solar Cooling Systems A4: Pump Efficiency and Adaptability Martin Helm, Bavarian Centre for Applied Energy Research, (ZAE Bayern) With the support of

Source URL: task48.iea-shc.org

• Mechanical engineering
• Chiller
• Solar air conditioning
• Water chiller
• Absorption refrigerator
• Seasonal energy efficiency ratio
• Absorption
• Adsorption
• H2O
• Heating
• ventilating
• and air conditioning
• Chemistry
• Temperature

On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology

Source URL: www.cse.ust.hk

• Theoretical computer science
• Static single assignment form
• Control flow graph
• Applied mathematics
• Representation theory
• Graph
• Control flow
• Signal-flow graph
• Compiler construction
• Graph theory
• Mathematics

On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te

Source URL: www.cse.ust.hk

• Mathematics
• Reachability
• Separable space
• FO
• Live variable analysis
• Applied mathematics
• Theoretical computer science
• Data-flow analysis
• Pointer

Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005

Source URL: vstte.ethz.ch

• Applied mathematics
• Computing
• Formal verification
• Model checking
• Programming tool
• Programming language
• Exception handling
• Device driver synthesis and verification
• Computer-aided software engineering
• Formal methods
• Logic in computer science
• Theoretical computer science

Stephen L. Levy Cornell University Applied and Engineering Physics G19 Clark Hall Ithaca, NYPhone: (

Source URL: stephenlevy.net

• Fluid dynamics
• Nanotechnology
• BaBar experiment
• CLEO
• Harold Craighead
• Xi baryon
• Microfluidics
• B meson
• B-tagging
• Physics
• Particle physics
• Experimental particle physics

Curriculum Vitae of Leandra Vicci Current Appointment: 1981 – Lecturer of Computer Science and Director of the Applied Engineering Laboratory (previously, Microelectronic Systems Laboratory), Department of Computer Sci

Source URL: www.cs.unc.edu

Exploring Aligned Complementary Image Pair for Blind Motion Deblurring Wen Li1,2 , Jun Zhang1,2 , and Qionghai Dai3 School of Electronics and Information Engineering, Beihang University1 , National Key Laboratory of CNS/

Source URL: media.au.tsinghua.edu.cn

• Science of photography
• Statistics
• Non-parametric statistics
• Applied mathematics
• Estimation theory
• Deconvolution
• Blind deconvolution
• Super-resolution
• Kernel
• Signal processing
• Image processing
• Optics

TF-ICF: A New Term Weighting Scheme for Clustering Dynamic Data Streams Joel W. Reed1, Yu Jiao1, Thomas E. Potok1, Brian A. Klump1, Mark T. Elmore1, and Ali R. Hurson2 1 Applied Software Engineering Research Group

Source URL: aser.ornl.gov

• Statistics
• Natural language processing
• Data mining
• Machine learning
• Tf*idf
• Vector space model
• Cluster analysis
• Cosine similarity
• Hierarchical clustering
• Information science
• Information retrieval
• Science